probabilistic Turing machine - German English Dictionary